From 351007499d32c1e0f92185aa2c13cb330446e08a Mon Sep 17 00:00:00 2001 From: Alex Williamson Date: Mon, 24 Mar 2008 13:10:05 -0600 Subject: [PATCH] [IA64] Fix warnings Signed-off-by: Tristan Gingold --- xen/arch/ia64/vmx/vmx_init.c | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/xen/arch/ia64/vmx/vmx_init.c b/xen/arch/ia64/vmx/vmx_init.c index 955d29bdd2..6a1c014c43 100644 --- a/xen/arch/ia64/vmx/vmx_init.c +++ b/xen/arch/ia64/vmx/vmx_init.c @@ -308,11 +308,9 @@ vmx_create_vp(struct vcpu *v) void vmx_save_state(struct vcpu *v) { - u64 status; - BUG_ON(v != current); - ia64_call_vsa(PAL_VPS_SAVE, v->arch.privregs, 0, 0, 0, 0, 0, 0); + ia64_call_vsa(PAL_VPS_SAVE, (u64)v->arch.privregs, 0, 0, 0, 0, 0, 0); /* Need to save KR when domain switch, though HV itself doesn;t * use them. @@ -336,7 +334,7 @@ vmx_load_state(struct vcpu *v) vmx_load_all_rr(v); /* vmx_load_all_rr() pins down v->arch.privregs with both dtr/itr*/ - ia64_call_vsa(PAL_VPS_RESTORE, v->arch.privregs, 0, 0, 0, 0, 0, 0); + ia64_call_vsa(PAL_VPS_RESTORE, (u64)v->arch.privregs, 0, 0, 0, 0, 0, 0); ia64_set_kr(0, v->arch.arch_vmx.vkr[0]); ia64_set_kr(1, v->arch.arch_vmx.vkr[1]); -- 2.30.2